Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997)
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997)
By Markus Müller-Olm
Paperback
AED
279
52
AED 646.00
56% OFF
Turbo
Free Delivery13 - 14 Nov

Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.